<html>
 <head>
  <meta charset="UTF-8">
 </head>
 <body>
  <h1 data-lake-id="hbRn6" id="hbRn6"><span data-lake-id="u042469d7" id="u042469d7">典型回答</span></h1>
  <p data-lake-id="ubbaf9ebd" id="ubbaf9ebd"><br></p>
  <p data-lake-id="u59c3d352" id="u59c3d352"><span data-lake-id="u284885d8" id="u284885d8">在操作系统中，分段和分页是两种不同的内存管理技术，用于管理和分配进程的内存空间。它们的主要目标是提供对物理内存的有效和安全访问，但它们采用了不同的方法来实现这一目标。</span></p>
  <h2 data-lake-id="YBwka" id="YBwka"><span data-lake-id="ua20525fc" id="ua20525fc">分页</span></h2>
  <p data-lake-id="u2166ec17" id="u2166ec17"><span data-lake-id="u8b39c8e8" id="u8b39c8e8">大部分虚拟内存系统都会使用分页技术。分页技术把物理内存按照固定大小分为页面（一般是4KB）。通过分页，我们可以更细粒度的管理物理内存和虚拟空间的映射，也可以更高效的利用物理内存。对于一个64KB的虚拟地址和32KB的物理地址来说，如下图所示：</span></p>
  <p data-lake-id="u7f07317f" id="u7f07317f"><span data-lake-id="u28982029" id="u28982029">​</span><br></p>
  <p data-lake-id="u4abe2c59" id="u4abe2c59"><img src="https://cdn.nlark.com/yuque/0/2023/png/719664/1675583672600-96b5a015-aa72-41e2-9683-e00da562929b.png?x-oss-process=image%2Fwatermark%2Ctype_d3F5LW1pY3JvaGVp%2Csize_21%2Ctext_SmF2YSA4IEd1IFA%3D%2Ccolor_FFFFFF%2Cshadow_50%2Ct_80%2Cg_se%2Cx_10%2Cy_10"></p>
  <p data-lake-id="ufb5f66e3" id="ufb5f66e3"><br></p>
  <p data-lake-id="uc4a9ef87" id="uc4a9ef87"><span data-lake-id="u0ef3bdff" id="u0ef3bdff">如果用户访问到的虚拟地址还没有分配物理地址，那么系统就会发生缺页中断。将需要访问的页面装载到页框中，修改MMU中的映射关系，重新返回。</span></p>
  <h3 data-lake-id="VLyJH" id="VLyJH"><span data-lake-id="u79f1e5ed" id="u79f1e5ed">页表</span></h3>
  <p data-lake-id="u1d5c285a" id="u1d5c285a"><br></p>
  <p data-lake-id="uc424b1a6" id="uc424b1a6"><span data-lake-id="u63929d42" id="u63929d42">对于虚拟地址和物理地址的映射关系的存储，我们一般是通过页表来完成的。页表中会记录虚拟地址的虚拟页号和偏移量，以及其对应的实际页框号。从数学角度说，页表是一个函数，它的参数是虚拟页号，结果是物理页框号。</span></p>
  <p data-lake-id="u145b3245" id="u145b3245"><span data-lake-id="u08a63d21" id="u08a63d21">同时，因为增加了页表的映射，中间就一定会有空间和时间的损耗，有两个问题：</span></p>
  <ol list="ue2eb315d">
   <li fid="u5ecb9177" data-lake-id="u2db5748d" id="u2db5748d"><span data-lake-id="uc9e73d4a" id="uc9e73d4a">虚拟地址到物理地址的映射需要时间，这个时候就需要引入快表（TLB）加速页表的访问。</span></li>
   <li fid="u5ecb9177" data-lake-id="u1dbc2d54" id="u1dbc2d54"><span data-lake-id="ud295e8a8" id="ud295e8a8">如果虚拟地址空间很大，页表也会很大，可能会浪费空间。假设64bit的操作系统，虚拟地址的大小为2^64，如果每页是4KB，那么需要的记录数就是2^64/2^12=2^52项。同时，因为每个进程都有一个独立的虚拟地址，所以每个进程都有自己独立的页表，那么这种情况下，记录的项目就会变得非常多</span></li>
  </ol>
  <p data-lake-id="ua87c13a2" id="ua87c13a2"><span data-lake-id="u99fa0635" id="u99fa0635">对于第二种情况，我们可以采用多级页表和倒排页表的方式来解决。</span></p>
  <p data-lake-id="ue3547092" id="ue3547092"><span data-lake-id="u0e5c70d3" id="u0e5c70d3">多级页表的核心就在于避免把所有的页表全部保存在内存中，如果是不需要的页表，就不会保留。</span></p>
  <p data-lake-id="u3944aef6" id="u3944aef6"><span data-lake-id="udc0e327f" id="udc0e327f">倒排页表常用于64bit的计算机中，往往需要和TLB结合使用才可以。</span></p>
  <p data-lake-id="u2412266f" id="u2412266f"><span data-lake-id="u63d1513b" id="u63d1513b">​</span><br></p>
  <h2 data-lake-id="hRO2q" id="hRO2q"><span data-lake-id="ue381e78c" id="ue381e78c">分段</span></h2>
  <p data-lake-id="uf3e32c57" id="uf3e32c57"><br></p>
  <p data-lake-id="u2b014a9b" id="u2b014a9b"><span data-lake-id="ub22e4338" id="ub22e4338">有了分页之后，一个进程就可以享受很大的，独立的虚拟地址了。但是有一个问题我们没有考虑到，一个进程中一定会包含代码，常量，以及代码在运行时所产生的变量。那么，用户的程序如何保证这些代码所在的空间不和代码运行时候的堆栈空间冲突呢？</span></p>
  <p data-lake-id="u0a8cc68b" id="u0a8cc68b"><span data-lake-id="u0039f642" id="u0039f642">​</span><br></p>
  <p data-lake-id="ub71922e7" id="ub71922e7"><span data-lake-id="uecfabedc" id="uecfabedc">如果我们知识简单的将虚拟内存按照一维的方式将空间分给这些堆栈，代码片段等，就很难保证空间的有效利用，如下图所示：</span></p>
  <p data-lake-id="ufc8a9b80" id="ufc8a9b80"><span data-lake-id="udbf29186" id="udbf29186">​</span><br></p>
  <p data-lake-id="ue82b7b56" id="ue82b7b56"><img src="https://cdn.nlark.com/yuque/0/2023/png/719664/1675586602010-3d459e43-34fd-47ab-a6a7-c799047071d4.png?x-oss-process=image%2Fwatermark%2Ctype_d3F5LW1pY3JvaGVp%2Csize_10%2Ctext_SmF2YSA4IEd1IFA%3D%2Ccolor_FFFFFF%2Cshadow_50%2Ct_80%2Cg_se%2Cx_10%2Cy_10"></p>
  <p data-lake-id="ub210ed74" id="ub210ed74"><span data-lake-id="uf5d7d2c8" id="uf5d7d2c8">​</span><br></p>
  <p data-lake-id="ufc49700e" id="ufc49700e"><span data-lake-id="ud9aa8836" id="ud9aa8836">此时，我们发现，程序的堆栈空间已经用完了，但是代码段还有很多没有用。这个时候就需要程序手动管理这些一维空间，无疑的比较复杂且困难的。</span></p>
  <p data-lake-id="u85ea19b2" id="u85ea19b2"><span data-lake-id="uc6e97850" id="uc6e97850">​</span><br></p>
  <p data-lake-id="u3b9ba675" id="u3b9ba675"><span data-lake-id="u68311d50" id="u68311d50">所以就有了分段技术的产生。它可以让每个段独享一部分可以自然增长的空间，且和其他段相互隔离，如下所示：</span></p>
  <p data-lake-id="u21e92a73" id="u21e92a73"><span data-lake-id="u5ac65620" id="u5ac65620">​</span><br></p>
  <p data-lake-id="u02421cf9" id="u02421cf9"><img src="https://cdn.nlark.com/yuque/0/2023/png/719664/1675587022501-7babf483-968b-4a1c-96d7-3540eacfdf36.png?x-oss-process=image%2Fwatermark%2Ctype_d3F5LW1pY3JvaGVp%2Csize_36%2Ctext_SmF2YSA4IEd1IFA%3D%2Ccolor_FFFFFF%2Cshadow_50%2Ct_80%2Cg_se%2Cx_10%2Cy_10"></p>
  <h2 data-lake-id="iKHAb" id="iKHAb"><br></h2>
  <h2 data-lake-id="u5gqe" id="u5gqe"><span data-lake-id="uc99e44f3" id="uc99e44f3">分段分页的区别</span></h2>
  <table data-lake-id="TBWbJ" id="TBWbJ" margin="true" width-mode="contain" class="lake-table" style="width: 750px">
   <colgroup>
    <col width="250">
    <col width="250">
    <col width="250">
   </colgroup>
   <tbody>
    <tr data-lake-id="u17955b7a" id="u17955b7a">
     <td data-lake-id="u5c297358" id="u5c297358">
      <p data-lake-id="uef9c68d6" id="uef9c68d6"><span data-lake-id="u02df9369" id="u02df9369">关联点</span></p></td>
     <td data-lake-id="u89c2b623" id="u89c2b623">
      <p data-lake-id="u92b4a231" id="u92b4a231"><span data-lake-id="u011bc825" id="u011bc825">分页</span></p></td>
     <td data-lake-id="u8f9e9b0e" id="u8f9e9b0e">
      <p data-lake-id="u9cf59644" id="u9cf59644"><span data-lake-id="u582c14e9" id="u582c14e9">分段</span></p></td>
    </tr>
    <tr data-lake-id="u990714c7" id="u990714c7" style="height: 37px">
     <td data-lake-id="u1ab97f0b" id="u1ab97f0b">
      <p data-lake-id="u753a6d9c" id="u753a6d9c"><span data-lake-id="ua0609d93" id="ua0609d93">程序猿是否感知</span></p></td>
     <td data-lake-id="u86e48076" id="u86e48076">
      <p data-lake-id="u8ff0263b" id="u8ff0263b"><span data-lake-id="u454f2862" id="u454f2862">否</span></p></td>
     <td data-lake-id="u2912bfa3" id="u2912bfa3">
      <p data-lake-id="u2a51b145" id="u2a51b145"><span data-lake-id="u53a9932d" id="u53a9932d">是</span></p></td>
    </tr>
    <tr data-lake-id="u493cfd9c" id="u493cfd9c">
     <td data-lake-id="uad648207" id="uad648207">
      <p data-lake-id="u85cb7720" id="u85cb7720"><span data-lake-id="u068e3812" id="u068e3812">地址空间是否可以超过物理空间</span></p></td>
     <td data-lake-id="u173ac8b2" id="u173ac8b2">
      <p data-lake-id="u312e7093" id="u312e7093"><span data-lake-id="u89e03909" id="u89e03909">是</span></p></td>
     <td data-lake-id="u8fff94a5" id="u8fff94a5">
      <p data-lake-id="ufb118ddb" id="ufb118ddb"><span data-lake-id="u11c9ae51" id="u11c9ae51">是</span></p></td>
    </tr>
    <tr data-lake-id="ufd14e417" id="ufd14e417">
     <td data-lake-id="u36c42134" id="u36c42134">
      <p data-lake-id="u2feecc54" id="u2feecc54"><span data-lake-id="u6f462c60" id="u6f462c60">不同用户是否方便共享</span></p></td>
     <td data-lake-id="u22f57419" id="u22f57419">
      <p data-lake-id="uf524d1f1" id="uf524d1f1"><span data-lake-id="ua2c0fd46" id="ua2c0fd46">否</span></p></td>
     <td data-lake-id="ua2434dbb" id="ua2434dbb">
      <p data-lake-id="ucb029f06" id="ucb029f06"><span data-lake-id="u19dfe34c" id="u19dfe34c">是</span></p></td>
    </tr>
    <tr data-lake-id="uf78f8380" id="uf78f8380">
     <td data-lake-id="ua4c7b04f" id="ua4c7b04f">
      <p data-lake-id="udd4d1c9f" id="udd4d1c9f"><span data-lake-id="u4094ecc1" id="u4094ecc1">是否定长</span></p></td>
     <td data-lake-id="uba388a9c" id="uba388a9c">
      <p data-lake-id="uff218aec" id="uff218aec"><span data-lake-id="u8271182a" id="u8271182a">是</span></p></td>
     <td data-lake-id="ubeb229cf" id="ubeb229cf">
      <p data-lake-id="u69cf642a" id="u69cf642a"><span data-lake-id="u52fbf4cb" id="u52fbf4cb">否</span></p></td>
    </tr>
    <tr data-lake-id="ua8e0d187" id="ua8e0d187">
     <td data-lake-id="u44dfda40" id="u44dfda40">
      <p data-lake-id="u417308ad" id="u417308ad"><span data-lake-id="u0f3dd12d" id="u0f3dd12d">发明原因</span></p></td>
     <td data-lake-id="ue14e8e3a" id="ue14e8e3a">
      <p data-lake-id="u7dce518d" id="u7dce518d"><span data-lake-id="u3f8a10cd" id="u3f8a10cd">获得更大的线性地址空间</span></p></td>
     <td data-lake-id="ub3688f70" id="ub3688f70">
      <p data-lake-id="ubf99c04a" id="ubf99c04a"><span data-lake-id="u8300d8a5" id="u8300d8a5">使程序和数据被划分为逻辑上独立的空间</span></p></td>
    </tr>
   </tbody>
  </table>
 </body>
</html>